
\documentstyle{book}
\setcounter{tocdepth}{1}

\begin{document}

\title{{\huge {\bf Non-Axiomatic Logic (NAL) Specification}}}
\author{\em Pei Wang}
\maketitle

\newtheorem{defi}{Definition}
\newtheorem{theo}{Theorem}

\pagenumbering{roman}
\tableofcontents
\listoftables
\include{Acknowledgment}
\newpage
\pagenumbering{arabic}

\include{Introduction}
\include{NAL-0}
\include{NAL-1}
\include{NAL-2}
\include{NAL-3}
\include{NAL-4}
\include{NAL-5}
\include{NAL-6}
\include{NAL-7}
\include{NAL-8}
\include{Summary}

\small
\addcontentsline{toc}{chapter}{Bibliography}
%\bibliographystyle{apalike}
%\bibliography{Wang}
\include{NAL-bbl}

\end{document}
